Russell悖论的变形与ZFC的正则公理——对无根基悖论和多值逻辑悖论的评析与介绍

§0 引言 沈有鼎先生在[1]中构造了几个著名的悖论,即所谓‘无根基和有根基悖论’、‘循环与非循环悖论’和‘n循环与非n循环悖论’。我们首先用通俗的自然语言把这几个悖论陈述出来,再介绍ZFC系统中正则公理AxR的几种等价形式,然后利用AxR的这些等价命题对上述三个悖论进行分析,即可看出它们都是变了形的Russell悖论,并且很自然地得到结论;Russell悖论和上述三个悖论中所构造的集合,皆不在ZFC系统中,因而这些悖论将不在ZFC系统中出现。